Section: Dissemination

Teaching - Supervision - Juries

• Master: Bruno Barras, proof assistants, 12h, M2, MPRI

• Master: Frédéric Blanqui, formal languages, 21h, M1, ENSIIE

• Master: Frédéric Blanqui, rewriting theory, 14h, M1, ENS Paris-Saclay

• Master: Frédéric Blanqui, $\lambda$-calculus and theories in first-order logic, 18h, M1/M2, ENS Paris-Saclay

• Master: Gilles Dowek has given a course at MPRI.

• Master: Gilles Dowek is in charge of the second year of Masters at the École normale de Paris Saclay.

• Master: Gilles Dowek has given a one week invited course at the University of Buenos Aires.

• Licence: Guillaume Genestier, logic tutorials, 45h, L3, ENS Paris-Saclay

• Licence: Guillaume Genestier, complexity remedial classes, 11h, L3, ENS Paris-Saclay

• Licence: Gaspard Férey, language theory, 44h, L3, EISTI

• Licence: François Thiré, (spring) logic project, 26h, L3 ENS Paris-Saclay

• Licence: François Thiré, (spring) Programmation 2 tutorials, 26h, L3 ENS Paris-Saclay

• Licence: François Thiré, (fall) Architectures and Systems tutorials, 36h, L3 ENS Paris-Saclay

• Frédéric Blanqui is co-director of the pole 4 of the doctoral school STIC of the University Paris-Saclay.

• Frédéric Blanqui is member of the committee of the doctoral school of the ENS Paris-Saclay.

• Frédéric Blanqui is in charge of following PhD students at LSV.

• PhD Defended: Frédéric Gilbert, Gilles Dowek and Florent Kirchner,

• PhD in progress: Guillaume Bury, David Delahaye and Gilles Dowek,

• PhD in progress: Guillaume Genestier, termination in $\lambda \Pi$-calculus modulo theory, 01/10/17, Frédéric Blanqui and Olivier Hermant,

• PhD in progress: Mohamed Yacine El Haddad, using automated provers in proof assistants, 05/01/18, Frédéric Blanqui and Guillaume Burel,

• PhD in progress: Gaspard Férey, Associative-Commutative rewriting in the $\lambda \Pi$-calculus, 01/09/18, Gilles Dowek,

• PhD in progress: François Thiré, Design tools to make interoperability easier in Dedukti , 01/09/18, Gilles Dowek.